Search results for " co-simulation"

showing 3 items of 3 documents

Co-simulated Digital Twin on the Network Edge: the case of platooning

2022

This paper presents an approach to create high fidelity Digital-Twin models for distributed multi-agent cyber-physical systems based on the combination of simulating components, generated from different modeling languages, each tailored for the specific domain of the subsystem. The approach specifically addresses the wireless communication domain, exploiting a Python module as a simulating component to evaluate the impact of network delay among the distributed elements of the system under analysis. A case study with a platoon of four vehicles following a leading car, all modeled in Simulink, is used to show the applicability of the approach, allowing the comparison between a Vehicle-to-Vehi…

Digital Twinvehicle platoonSettore ING-INF/04 - AutomaticaSettore INF/01 - InformaticaDigital Twin co-simulation Edge computing vehicle platoonco-simulationEdge computingDigital Twin; co-simulation; Edge computing; vehicle platoon2022 IEEE 23rd International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)
researchProduct

Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications

2021

Abstract Unmanned aerial vehicle (UAV) co-operative systems are complex cyber-physical systems that integrate a high-level control algorithm with pre-existing closed implementations of lower-level vehicle kinematics. In model-driven development, simulation is one of the techniques that are usually applied, together with testing, in the analysis of system behaviours. This work proposes a method and tools to validate the design of UAV co-operative systems based on co-simulation and formal verification. The method uses the Prototype Verification System, an interactive theorem prover based on a higher-order logic language, and the Functional Mock-up Interface, a widely accepted standard for co-…

Co operativeformal methodsGeneral Computer Sciencetheorem proverComputer scienceControl (management)formal methods co-operative control co-simulation verification theorem proverCo-simulationDroneco-operative controlSettore ING-INF/04 - Automaticaformal methodco-simulationverificationFormal verificationSimulation
researchProduct

Co-simulation of bio-inspired multi-agent algorithms

2020

This paper reports on the co-simulation of a team of robots deployed in an exploration task, coordinated by a bio-inspired exploration algorithm. The co-simulation integrates the high-level exploration algorithm with detailed implementations of the robot controllers and kinematic models. Co-simulation results are used to find and correct mismatches between submodels.

Cyber-Physical SystemsMap explorationCo-simulationBio-inspired algorithms; Co-simulation; Cyber-Physical Systems; Map explorationBio-inspired algorithms
researchProduct